So, this is a delete relaxation.

Just to see that we're understanding what that means.

We're basically getting rid of the delete lists.

That is quite a drastic form of cheating.

So, if you think about what that would mean in the real world,

you have an estate here.

I have a lot of money, you don't, or the other way around.

And then, what usually happens if I pay for something,

then this estate is reached.

Now, the delete relaxation, we're in this estate,

and of course the delete relaxation tells us nothing has changed.

We're deleting nothing.

That's quite attractive.

It allows me to buy many things.

Think about it in even more concrete terms.

Estate one.

In the real world, you reach that state at some point.

Buy an operation called drink beer.

In the relaxed world, you have the same initial state,

and in the relaxed world, you have both an empty glass,

as well as a full glass.

It's quite attractive.

It also allows you to collect arbitrary amounts of deposit.

It's also nice.

You just have to drink enough beer.

Right, or other involuntary changes with your age.

Good thing is you never reach the T-shirt,

because actually you're always state 29.

You're also getting 30, but you can always state 30.

OK, so that's the delete relaxation.

And if you didn't understand it here, previously,

this is a math of it.

Basically, the only interesting thing here

is the delete list is empty.

That's the relaxation.

Everything else is un-relaxed.

Kind of, it's more general than yours,

so yours might be more tuned.

But this is something you can do in general.

And if your parents have a trucking business,

you can try yours.

It might actually run better.

OK, so let's try this in Australia.

We are in Sydney.

We've visited Sydney.

No packages here.

We can drive to Brisbane.

That's good.

But now we can also do this as a next step.

We can directly drive to Adelaide.